Lambda calculus - PDFSEARCH.IO - Document Search Engine

Lambda calculus
Results: 1452

#	Item
681	Visualizing the Turing Tarpit Jason Hemann Eric Holk Indiana University Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2013-07-06 00:24:10 Applied mathematics Iota and Jot Combinatory logic Beta normal form Evaluation strategy Jot Binary lambda calculus Reduction strategy Lambda Lambda calculus Theoretical computer science Mathematical logic
682	Profiling For Laziness Matthias Felleisen Stephen Chang [removed] Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Functional languages Procedural programming languages Formal methods Lambda calculus Functional programming Lazy evaluation Pseudo-ring Laziness Combinatory logic Software engineering Computing Computer programming
683	Visual Python KMUTT CS101 June 2003 Add to Reading List Source URL: www.cmsthailand.com Language: English - Date: 2008-04-11 22:16:18 Subroutines Data types Scripting languages Python Lambda calculus Function Eval Variable C++ classes Software engineering Computing Computer programming
684	Swift and C# Quick Reference - Language Equivalents and Code Examples Variables Swift C# Add to Reading List Source URL: www.globalnerdy.com Language: English - Date: 2015-03-02 20:34:58 Anonymous function Functional programming Lambda calculus Subroutines SQL Foreach loop Value at risk ATS Static single assignment form Computing Software engineering Computer programming
685	J-Calc: A typed lambda calculus for Intuitionistic Justification Logic Konstantinos Pouliasis Giuseppe Primiero Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2013-01-15 08:49:03 Logical syntax Propositional calculus Philosophical logic Natural deduction Entailment Interpretation Curry–Howard correspondence Formation rule Witness Logic Proof theory Deduction
686	Mixin modules in a call-by-value setting Tom Hirschowitz and Xavier Leroy INRIA Rocquencourt Domaine de Voluceau, B.P. 105, 78153 Le Chesnay, France {Tom.Hirschowitz,Xavier.Leroy}@inria.fr Abstract. The ML module system Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2003-05-25 10:55:37 Functions and mappings Mixin Applied mathematics Lambda calculus Function Μ operator Calculus Mathematics Mathematical logic Computability theory
687	Coinductive big-step operational semantics Xavier Leroy INRIA Rocquencourt Domaine de Voluceau, B.P. 105, 78153 Le Chesnay, France [removed] Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2006-01-03 04:15:57 Logic in computer science Mathematical induction Programming language semantics Category theory Coinduction Operational semantics Structural induction Theorem Lambda calculus Mathematics Logic Theoretical computer science
688	William E. Byrd—Research Statement 1 Wishful Thinking, Lollipops, and Relational Programming When someone says “I want a programming language in which I need only say what I Add to Reading List Source URL: webyrd.net Language: English - Date: 2014-04-12 16:50:44 Applied mathematics Logic in computer science Combinatory logic Fixed-point combinator Eval Symbol Prolog Futures and promises Theoretical computer science Computing Lambda calculus
689	From System F to Typed Assembly Language GREG MORRISETT and DAVID WALKER Cornell University KARL CRARY Carnegie Mellon University and Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-10-21 10:40:17 Computing Models of computation Functional languages Program analysis Type system Standard ML Type safety Typed assembly language Lambda calculus Software engineering Type theory Programming language theory
690	Abstract machines for higher-order term sharing Connor Lane Smith University of Kent [removed] Abstract Add to Reading List Source URL: ifl2014.github.io Language: English - Date: 2015-03-04 15:20:42 Symbol Lambda calculus De Bruijn index Curry–Howard correspondence Orbifold Mathematics Computer science Theoretical computer science

UPDATE